Mobile
Log In Sign Up
Home > english-chinese > "predicate transformer" in Chinese

Chinese translation for "predicate transformer"

谓词变换程序

Related Translations:
predicated:  断言的断定的
predicate:  n.1.【语法】谓语,述语。2.【逻辑学】谓项,述项,述词,宾词。3.本质;属性。adj.谓语的,述语的;谓项的,述项的。vt.1.论断,断言;断定…为某物的属性;断定某物有…的属性 (about; of)。2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。3.宣言,宣布,声明。4.意味着,具有…的含义。5.【语法】表述。vi.断言 (of)。 Can
predicates:  谓词
predicate noun:  谓语性名词
diophantine predicate:  刁番图谓词
analytic predicate:  解析谓词
actional predicate:  动作谓语
predicate calculu:  谓词演算
compound predicate:  复合谓语
factive predicate:  叙述性谓词
Example Sentences:
1.Topological semantics of predicate transformers
谓词转换器的拓扑语义
Similar Words:
"predicate of first order" Chinese translation, "predicate of n variable n" Chinese translation, "predicate offence" Chinese translation, "predicate on" Chinese translation, "predicate symbol" Chinese translation, "predicate upon" Chinese translation, "predicate variable" Chinese translation, "predicate-argument structure" Chinese translation, "predicate-lowering" Chinese translation, "predicatecalculus" Chinese translation